121. AI*IA 2018 -- advances in artificial intelligence :
پدیدآورنده: Chiara Ghidini, Bernardo Magnini, Andrea Passerini, Paolo Traverso (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence, Congresses.,Artificial intelligence.,Artificial intelligence.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- System Administration-- Storage & Retrieval.,Computers-- User Interfaces.,Information retrieval.,Mathematical theory of computation.,Mathematics-- Logic.,Public administration.,User interface design & usability.
رده :
Q334
122. Advanced Boolean techniques :
پدیدآورنده: editors, Rolf Drechsler and Mathias Soeken.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algebra, Boolean, Congresses.,Algebra, Boolean.
رده :
QA10
.
3
.
I58
2018eb
123. Advanced mathematical & computational tools in metrology VII /
پدیدآورنده: editors, P. Ciarlini [and others].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Measurement, Congresses.,Physical measurements, Congresses.,MATHEMATICS-- Measurement.,Measurement.,Physical measurements.,TECHNOLOGY & ENGINEERING-- Measurement.
رده :
QA465
.
A273
2006eb
124. Advances in Computing, Communication, and Control :
پدیدآورنده: edited by Srija Unnikrishnan, Sunil Surve, Deepak Bhoir.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer Communication Networks.,Computer science.,Computer software.
رده :
QA75
.
5
E358
2013
125. Advances in Object-Oriented Graphics I
پدیدآورنده: edited by Edwin H. Blake, Peter Wisskirchen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer graphics.,Computer science.,Computer-aided design.
رده :
T385
.
E358
1991
126. Advances in computers
پدیدآورنده: edited by Franz L. Alt and Morris Rubinoff.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computers.,Electronic data processing.,Computers.,Electronic data processing.
رده :
QA76
.
A3810
1970eb
127. Advances in information systems development :
پدیدآورنده: Nearchos Paspallis [and 5 others], editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Information resources-- Development, Congresses.,Information resources management, Congresses.,Information storage and retrieval systems, Congresses.,System design, Congresses.,Business mathematics & systems.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Information architecture.,Information resources management.,Information retrieval.,Information storage and retrieval systems.,Information technology: general issues.,System design.,User interface design & usability.
رده :
QA76
.
9
.
S88
128. Advances in the design of symbolic computation systems
پدیدآورنده: A. Miola and M. Temperini )eds.(
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، System design,، Object-oriented programming )Computer science(,، Mathematics -- Data processing
رده :
QA
76
.
9
.
S88
A38
1997
129. Advances in the design of symbolic computation systems
پدیدآورنده: A. Miola and M. Temperini )eds.(,Series
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: System design,Object-oriented programming )Computer science(,Mathematics -- Data processing
رده :
QA
.
S88
,
A38
76
.
9
1997
130. Algorithmic aspects in information and management :
پدیدآورنده: Shaojie Tang, Ding-Zhu Du, David Woodruff, Sergiy Butenko (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer algorithms, Congresses.,Management science-- Data processing, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer algorithms.,Computers-- Data Modeling & Design.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Discrete mathematics.,Management science-- Data processing.,Mathematical theory of computation.
رده :
QA76
.
9
.
A43
131. Algorithms for optimization /
پدیدآورنده: Mykel J. Kochenderfer, Tim A. Wheeler.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algorithms, Problems, exercises, etc.,Algorithms.,Mathematical optimization.,Algorithms.,Algorithmus,Mathematical optimization.
رده :
QA9
.
58
.
K65425
2019
133. An Introductionn to Discrete Mathematics, Formal System Specification and Z
پدیدآورنده: / C.C. Ince
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Computer science _ Mathematics.,System Design.
رده :
QA76
,.
9
.
M
35
134. An introduction to discrete mathematics and formal system specification
پدیدآورنده: Ince, Darrel
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع: ، Computer science - Mathematics,، System design
رده :
QA
76
.
9
.
M35
I53
1988
135. An introduction to discrete mathematics, formal system specification, and Z
پدیدآورنده: Ince, Darrel C.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer science -- Mathematics,، System design
رده :
QA
76
.
9
.
M35I53
1992
136. An introduction to discrete mathematics, formal system specification, and Z
پدیدآورنده: Ince, Darrel
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: Mathematics ، Computer science,، System design
رده :
QA
76
.
9
.
M35153
1992
137. An introduction to discrete mathematics formal system specification and Z
پدیدآورنده: D. C. Ince
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه زنجان (زنجان)
موضوع: ، Computer science - Mathematics,، System design
رده :
QA
76
.
9
.
M35153
1992
138. An introduction to discrete mathematics, formal system specification, and Z
پدیدآورنده: Ince, D.)Darrel(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Computer science - Mathematics,، System design
رده :
QA
76
.
9
.
M35
I53
1992
139. An introduction to discrete mathematics formal system specification, and z
پدیدآورنده: / D.C.Ince
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer science-Mathematics,System design
رده :
QA76
.
9
.
M35
,
153
1992
140. An introduction to discrete mathematics, specification, and Z
پدیدآورنده: Ince, D. )Darrel(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computer science-- Mathematics,، System design
رده :
QA
76
.
9
.
M35
.
I53
1992
